/* execute.c */
int trace(void);
int step(void);
void cont(void);
void run(void);
